Lambda calculus - PDFSEARCH.IO - Document Search Engine

Lambda calculus
Results: 1452

#	Item
541	Type Theory & Functional Programming Simon Thompson Computing Laboratory, University of Kent March 1999 Add to Reading List Source URL: www.cs.kent.ac.uk Language: English - Date: 2012-11-02 09:24:49 Theoretical computer science Logic in computer science Lambda calculus Proof theory Dependently typed programming Curry–Howard correspondence Intuitionistic type theory Combinatory logic Natural deduction Mathematics Mathematical logic Type theory
542	On the Complexity of Deciding Sense of Direction∗ Paolo Boldi† Sebastiano Vigna† Abstract Add to Reading List Source URL: vigna.di.unimi.it Language: English - Date: 2002-05-18 04:50:05 Functions and mappings Nonassociative algebra Group theory Combinatory logic Lambda calculus Constructible universe Curry–Howard correspondence Function Quasigroup Mathematics Abstract algebra Logic in computer science
543	A modern eye on ML type inference – Old techniques and recent developments – Franc¸ois Pottier INRIA September 2005 Add to Reading List Source URL: cristal.inria.fr Language: English - Date: 2007-01-26 09:13:38 Computing Type inference Type system Lambda calculus Constraint programming Hindley–Milner Generalized algebraic data type Constraint satisfaction Standard ML Software engineering Programming language theory Type theory
544	Using Semantic Unification to Generate Regular Expressions from Natural Language Nate Kushman Regina Barzilay Computer Science and Artificial Intelligence Laboratory Massachusetts Institute of Technology {nkushman, regin Add to Reading List Source URL: groups.csail.mit.edu Language: English - Date: 2013-11-10 12:44:57 Formal languages Theoretical computer science Computational linguistics Lexical semantics Lambda calculus Parsing Semantics Word-sense disambiguation Natural language processing Linguistics Science Applied mathematics
545	Modeling Delayed Feedback in Display Advertising Olivier Chapelle Criteo Labs Palo Alto, CA Add to Reading List Source URL: olivier.chapelle.cc Language: English - Date: 2014-07-07 18:19:20 Statistical theory Statistical models Regression analysis Exponential distribution Maximum likelihood Lambda calculus Expectation–maximization algorithm Generalized linear model Statistics Estimation theory Poisson processes
546	ZU064-05-FPR rhiger-submitted 18 August 2008 Add to Reading List Source URL: www.itu.dk Language: English - Date: 2008-10-17 11:56:59 Lambda calculus Type theory Data types Functional programming Logic in computer science Pattern matching Standard ML Combinatory logic Fixed-point combinator Software engineering Theoretical computer science Computing
547	Semantic subtyping for the π-calculus Giuseppe Castagna Rocco De Nicola ´ Ecole Normale Sup´erieure, Paris Universit`a di Firenze Add to Reading List Source URL: www.cduce.org Language: English - Date: 2013-12-06 16:18:28 Mathematical logic Data types Object-oriented programming Polymorphism Lambda calculus Subtype polymorphism Type system Interpretation Generic programming Software engineering Type theory Theoretical computer science
548	D:/Compile/1/Generalized-CareysEquality-9.5.14_dup.dvi Add to Reading List Source URL: entomology.ucdavis.edu Language: English - Date: 2014-12-14 12:44:18 Inner product space Expected value Mathematics Applied mathematics Combinatory logic Lambda calculus Logic in computer science
549	Optimal Inter-Object Correlation When Replicating for Availability Haifeng Yu Phillip B. Gibbons Add to Reading List Source URL: www.comp.nus.edu.sg Language: English - Date: 2007-06-14 22:31:40 Algebraic geometry Field theory Valuation PP Combinatory logic Assignment Grothendieck topology Lambda calculus Theoretical computer science Abstract algebra Mathematics

UPDATE